A logical foundation for logic programming II: Semantics of general logic programs
نویسندگان
چکیده
منابع مشابه
A Logical Foundation for Logic Programming II: Semantics of General Logic Programs
We suggested in 12] a general logical formalism for Logic Programming based on a four-valued inference. In this paper we give a uniform representation of various semantics for logic programs based on this formalism. The main conclusion from this representation is that the distinction between these semantics can be largely attributed to the diierence in their underlying (monotonic) logical syste...
متن کاملA Logical Semantics for Description Logic Programs
We present a new semantics for Description Logic programs [1] (dlprograms) that combine reasoning about ontologies in description logics with non-monotonic rules interpreted under answer set semantics. Our semantics is equivalent to that of [1], but is more logical in style, being based on the logic QHT of quantified here-and-there that provides a foundation for ordinary logic programs under an...
متن کاملA Game Semantics Foundation for Logic Programming
We introduce a semantics of Logic Programming based on classical Game Theory, which is proven to be sound and complete w.r.t. traditional semantics like the minimum Herbrand model and the s-semantics. This AND compositional game semantics allows a very simple characterization of the solution set of a logic program in term of approximations of the value of the game associated to it, which can al...
متن کاملA Semantics for Modular General Logic Programs
Modular programs are built as a combination of separate modules, which may be developed and veriied separately. Therefore, in order to reason over such programs, compositionality plays a crucial role: the semantics of the whole program must be obtainable as a simple function from the semantics of its individual modules. In the eld of logic programming, the need for a compositional semantics has...
متن کاملUniversit a Di Pisa Programming by Combining General Logic Programs Programming by Combining General Logic Programs
The program composition approach can be fruitfully applied to combine general logic programs, i.e. logic programs possibly containing negative premises. We show how the introduction of a basic set of (meta-level) composition operations over general programs increases the knowledge representation capabilities of logic programming for non-monotonic reasoning. Examples of modular programming, hier...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Logic Programming
سال: 1998
ISSN: 0743-1066
DOI: 10.1016/s0743-1066(97)10006-1